Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
41	More Secure Software Systems by Formal Verification, Property-Based Testing, Secure Compilation, and Dynamic Monitoring Cătălin Hrițcu Inria Paris, Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-15 12:26:17 Security Computer security Cyberwarfare Formal methods Logic in computer science E-commerce Secure communication Cryptographic software Formal verification Cryptographic protocol Vulnerability ProVerif
42	What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2010-07-02 04:54:56 Logic Modal logic Philosophy Formal epistemology Abstraction Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Common knowledge Epistemic modal logic Kripke semantics
43	A Dynamic-Epistemic Logic for Mobile Structured Agents Anya Yermakova and Alexandru Baltag Abstract Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logi Add to Reading List Source URL: anyayermakova.com Language: English - Date: 2013-11-05 23:15:15
44	Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch Add to Reading List Source URL: folk.uib.no Language: English - Date: 2008-02-06 12:58:25 Formal epistemology Modal logic Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Symbol Epistemic modal logic Common knowledge Tiny Encryption Algorithm Kripke semantics Interpretation
45	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-12-17 21:21:52 Philosophy Modal logic Logic Epistemology Artificial intelligence Formal epistemology Modality Epistemic modal logic Dynamic epistemic logic Epistemic closure Causality Distribution
46	Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering, Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-07-24 21:25:12
47	Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 12:01:27 Theoretical computer science Algorithm Mathematical logic Mathematics ReedSolomon error correction Discrete mathematics Formal methods
48	Dynamic Epistemic Logic Displayed Giuseppe Greco1 , Alexander Kurz2 , Alessandra Palmigiano3 1 2 Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-02 11:43:31
49	Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic∗ Iris van de Pol † Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2015-07-26 13:20:01
50	A Minimal Dynamic Logic for Threshold Influence Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-05-23 17:14:47

UPDATE